signature IDSET =
sig
  type t
  
  val difference : t * t -> t
  val empty : t
  val fromList : Id.t list -> t
  val union : t * t -> t
end